$\forall$$A$:Type, $f$:($A$$\rightarrow$(top + top)), $x$:$A$. can{-}apply($f$; $x$) $\in$ $\mathbb{B}$